Философский энциклопедический словарь - независимость системы аксиом
Связанные словари
Независимость системы аксиом
независимость системы аксиом
— невыводимость аксиом к.-л. дедуктивной теории по правилам вывода этой теории из остальных аксиом. Исследование Н. с. а. имеет существенное значение. Так, установление независимости пятого постулатаЕвклида в системе аксиом геометрии способствовало созданию неевклидовых геометрий (Аксиоматический метод).
Рейтинг статьи:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2506 | |
2 | 2322 | |
3 | 1991 | |
4 | 1977 | |
5 | 1928 | |
6 | 1830 | |
7 | 1725 | |
8 | 1660 | |
9 | 1641 | |
10 | 1508 | |
11 | 1426 | |
12 | 1390 | |
13 | 1383 | |
14 | 1380 | |
15 | 1251 | |
16 | 1073 | |
17 | 1064 | |
18 | 1060 | |
19 | 1036 | |
20 | 964 |